1

Poset-valued sets or how to build models for linear logics

Year:
2004
Language:
english
File:
PDF, 391 KB
english, 2004
7

Arteries in the posterior cervical triangle in man

Year:
2005
Language:
english
File:
PDF, 159 KB
english, 2005
8

Domains arising as algebras for powerspace constructions

Year:
1993
Language:
english
File:
PDF, 1.58 MB
english, 1993
10

Glueing and orthogonality for models of linear logic

Year:
2003
Language:
english
File:
PDF, 334 KB
english, 2003
11

A fully abstract denotational model for observational precongruence

Year:
2001
Language:
english
File:
PDF, 211 KB
english, 2001
12

Abstract Games for Linear Logic Extended Abstract

Year:
1999
Language:
english
File:
PDF, 1.18 MB
english, 1999
17

Concrete Data Structures as Games

Year:
2005
Language:
english
File:
PDF, 307 KB
english, 2005
43

On Ligand Binding Energies in Porphyrinic Systems

Year:
2013
Language:
english
File:
PDF, 2.19 MB
english, 2013